منابع مشابه
Linear Consistency Testing
We extend the notion of linearity testing to the task of checking linear-consistency of multiple functions. Informally, functions are “linear” if their graphs form straight lines on the plane. Two such functions are “consistent” if the lines have the same slope. We propose a variant of a test of Blum, Luby and Rubinfeld [8] to check the linear-consistency of three functions f1, f2, f3 mapping a...
متن کاملTesting Database Transaction Consistency
AGENDA is a tool set for testing relational database applications. In this paper we extend AGENDA to test transaction consistency. Two levels of checks are used to check both database state and state transition. The transition check validates the state transition performed by the transaction. The state check validates that the overall global consistency properties hold for the new database stat...
متن کاملTesting Consistency between Behavior
| In this paper we present a way to automate consistency tests between two diierent kinds of software description techniques using PROLOG. Especially, we focus on hierarchical state transition diagrams and interaction sequences both of which specify aspects of a system's dynamics. In contrast to the similar graphical representations of UML our description techniques come with clear semantics wh...
متن کاملTesting the Consistency of Dynamic
The Unified Modeling Language (UML) offers different diagrams to depict the behavior of a modeled system and its elements. When employing different diagrams during modeling, it has to be ensured that these different specifications are consistent. The consistency conditions depend on the diagrams involved, the development process employed, and the current stage of the development. In order to en...
متن کاملTesting Consistency of Two Histograms*
Several approaches to testing the hypothesis that two histograms are drawn from the same distribution are investigated. We note that single-sample continuous distribution tests may be adapted to this two-sample grouped data situation. The difficulty of not having a fully-specified null hypothesis is an important consideration in the general case, and care is required in estimating probabilities...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Contemporary Economic Policy
سال: 2011
ISSN: 1074-3529
DOI: 10.1111/j.1465-7287.2010.00249.x